문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 술어 논리 (문단 편집) === 보편 일반화(Universal generalization; UG) === 보편 일반화에는 '[\math(\beta)]가 [\math(\phi)]에도 [\math(\phi\alpha/\beta)]가 나타나는 항의 어떤 전제에도 나타나지 않을 때'라는 제한 조건이 붙는다. 해당 제한 조건 하에서, > [\math({\rm UG}:\phi\alpha/\beta\vdash(\forall α)\phi)] 이는 [\math(β)]가 특정 개체를 가리키기보다는 변항에 대해 임시적인 대입항으로 사용되었을 때, 보편 예화된 문장을 다시 일반화할 수 있다는 규칙이다. ||''' 한국어 추론 예시'''. 모든 사람은 죽는다. ---- 소크라테스는 죽는다. 따라서, 모든 사람은 죽는다.[* 바로 위의 문장은 보편양화 문장의 임의의 대입례로 사용되었기 때문에, 이로부터 다시 일반화할 수 있다.] ||저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기